Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
221	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-10-27 06:39:41 Computability theory Formal methods Models of computation Theory of computation Algorithm Mathematical logic Turing machine Algorithm characterizations Theoretical computer science Applied mathematics Mathematics
222	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
223	TABLE OF CONTENTS ✦ ✦ ✦ ✦ Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:24:43 Mathematical logic Automata theory Formal languages Computability theory Algorithm Finite-state machine Regular expression Recursion First-order logic Mathematics Theoretical computer science Logic
224	Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation Chitta Baral Juraj Dzifcak Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-08-17 20:58:29 Formal methods Computability theory Models of computation Tuple Type theory Lambda calculus Combinatory logic HO Categorial grammar Mathematics Theoretical computer science Mathematical notation
225	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 Solution Toby Murray August 27, 2014 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Constructible universe Unification Free variables and bound variables Combinatory logic Fixed-point combinator Theoretical computer science Mathematics Mathematical logic
226	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Models of computation Computability theory Lambda calculus Natural deduction Ordinal number Curry–Howard correspondence Symbol Mathematical logic Theoretical computer science Mathematics
227	Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages Chitta Baral Faculty of Computer Science and Engineering Arizona State University Tempe, AZ[removed] Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:53 Logic in computer science Lambda calculus Models of computation Representation theory of Lie groups Computability theory Combinatory logic Knowledge representation and reasoning Natural language processing Ordinal number Theoretical computer science Mathematical logic Mathematics
228	General Recursion The Choice ➜ Limited expressiveness, automatic termination COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Programming idioms Theoretical computer science Recursion Mathematical logic Well-founded relation Lambda calculus Quicksort Computer programming Mathematics Computing
229	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein λ Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Combinatory logic Natural deduction Function Creative Commons Mathematics Theoretical computer science Mathematical logic
230	Formal Definition of AI Dimiter Dobrev [removed] 18 October, 2005 Abstract Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2006-03-20 15:22:57 Ordinal number NP Function Artificial intelligence Computability theory Mathematics Theoretical computer science Mathematical logic

UPDATE